html {
  margin: 0px;
  padding: 0px;
}

body {
  margin: 0px;
  padding: 0px;
}

.contentPanel {
  margin: 0px;
  padding: 0px;
}

.content {
  margin: 0px auto 100px;
  padding: 0px 1% 100px;
  min-width: 32em;
  max-width: 48em;
}

.toc {
  margin: 0px -8% 0px 0px;
  padding: 0px 0px 4% 2%;
  font-size: 80%;
  float: right;
  color: #6666CD;
  background-color: #FAFAFF;
  width: auto;
}

.toc:hover {
  color: #0000CD;
}

.toc p {
  margin: 2px;
  cursor: pointer;
}

.toc p:hover {
  color: #0000CD;
  background-color: #EAEAEE;
}

.history {
	padding: 20px 0 60px 2%;
  font-size: 60%;
  float: right;
  color: #557766;
  width: auto;
  max-width: 32em;
}

.history:hover {
  color: #224433;
}

.tools {
  bottom: 4px;
  position: fixed;
  right: 4px;
}

.tools img {
  vertical-align: bottom;
}

.header {
  color: #225566;
  margin: 20px 0;
  text-align: center;
}

.header .context {
  font-size: 150%;
  margin: 0 0 14px;
}

.header .title {
  font-size: 160%;
  margin: 0;
}

